перемещаемый терм

relocatable term

булев терм — Boolean term

базовый терм — ground term

свободный терм — free term

связанный терм — bound term

сохраняемый терм — hold term